A Goal Oriented Strategy Based on Completion
نویسنده
چکیده
In this paper, a paramodulation calculus for equational reasoning is presented that combines the advantages of both Knuth-Bendix completion and goal directed strategies like the set of support strategy. Its soundness and completeness is proved, and finally the practical aspects of this method are discussed.
منابع مشابه
A Model for Prioritizing the Risks Associated with Road Construction Projects Based on Generalized Secondary Goal
This paper aims at providing a new model based on Data Envelopment Analysis (DEA) to prioritize project risks. It is clear that the large amounts of involved capitals, the long term of infrastructure projects’ implementation, and the project management problems in on-time completion of projects indicate the necessity of paying particular attention to this issue and conducting applied researc...
متن کاملClassroom-Oriented Higher Education System or Workshop-Oriented Higher Education System (Based on Cost & Economic Approach)
The most important goal of each society, is to reach economic development. As the goal and agent of development, man has got an important responsibility, which responsibility is realized by way of education, specially higher education, because the universities are the main factors for progress, production of knowledge and education of specialized human forces and they play a significant role in...
متن کاملThe application of goal - oriented heuristics for proving equational theorems via the unfailing Knuth - Bendix completion procedure
In this report we present a case study of employing goal-oriented heuristics when proving equational theorems with the (unfailing) Knuth-Bendix completion procedure. The theorems are taken from the domain of lattice ordered groups. It will be demonstrated that goal-oriented (heuristic) criteria for selecting the next critical pair can in many cases significantly reduce the search effort and hen...
متن کاملPedagogical Utility of Cooperative Writing Technique through Performance-oriented Classroom Structure
There is controversy on the conditions under which cooperative learning methods can improve academic achievement. Group-specific motivational aspects might contribute to the effectiveness of cooperative learning among which classroom goal structures were focused on. More specifically, the study aimed at investigating the efficiency of cooperative writing technique through performance versus mas...
متن کاملEvaluation of Components Affecting the Promotion of a Service-oriented University: A Qualitative Analysis of the Views of Higher Education Experts
Background & Objective: The service-oriented method is a strategy based on responding to the needs of stakeholders that emphasizes processes such as the link between the world of research and business, introducing the capabilities of the university and dissemination of knowledge in society. Therefore, this study aimed to recognize and determine the components affecting the improvement of a serv...
متن کامل